Constructing language processors with algebra combinators
نویسندگان
چکیده
منابع مشابه
Process Algebra with Combinators
We introduce typed combinatory process algebra, a system combining process algebra with types and combinators. We describe its syntax and semantics, and by way of example, verify within this framework the Simple Alternating Bit Protocol.
متن کاملProcess Algebra with Language Matching
An axiom system ACP lm is presented as a variant of the process algebra ACP (Algebra of Communicating Processes). The acronym ACP lm stands for ACP with abstraction, extended with operators and axioms for language matching. Language matching is a technique based on trace information for labelling and cutting oo process terms that do not match some given trace (or set of traces). It is shown tha...
متن کاملConstructing a Bidirectional Transformation between BPMN and BPEL with Functional-logic Graph Parser Combinators
The abstract syntax of structured Business Process Models (BPMs) can be described by a context-free hypergraph grammar in a straightforward way. Functional-logic graph parser combinators can be used to construct powerful parsers for such context-free hypergraph grammars. These parsers can be enriched with semantic computations, e.g. to synthesize BPEL from BPMN. Moreover, they are bidirectional...
متن کاملScheduling Linear Algebra Operations on Multicore Processors
State-of-the-art dense linear algebra software, such as the LAPACK and ScaLAPACK libraries, suffer performance losses on multicore processors due to their inability to fully exploit thread-level parallelism. At the same time the coarse-grain dataflow model gains popularity as a paradigm for programming multicore architectures. This work looks at implementing classic dense linear algebra workloa...
متن کاملThread algebra for SANE Virtual Processors
This paper presents a formal approach to the verification and evaluation of a programming/machine model being developed at the University of Amsterdam, called the SANE Virtual Processor (SVP). The model is being used as a basis for designing and programming chip multiprocessors and to support self-adaptive computation. This model can provide solutions for effectively programming distributed mul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2010
ISSN: 0167-6423
DOI: 10.1016/j.scico.2009.12.007